翻訳と辞書 Words near each other ・ Negarestan, Kurdistan ・ Negarman ・ Negash ・ Negash (name) ・ Negash Ali ・ Negash Teklit ・ Negasi Krestos ・ Negasonic Teenage Warhead ・ Negasonic Teenage Warhead (song) ・ Negasso Gidada ・ Negastrn ・ Negation ・ Negation (comics) ・ Negation (disambiguation) ・ Negation (poem) ・ Negation as failure ・ Negation introduction ・ Negation normal form ・ Negation of the Diaspora ・ Negation War ・ Negativ ・ Negativa ・ Negativa (EP) ・ Negativconcertland ・ Negative ・ Negative (Finnish band) ・ Negative (Mansun song) ・ Negative (Negative album) ・ Negative (photography) ・ Negative (Serbian band) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Negation as failure ： ウィキペディア英語版 Negation as failure Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive $\backslash mathrm~p$ (i.e. that $~p$ is assumed not to hold) from failure to derive $~p$. Note that $\backslash mathrm\; ~p$ can be different from the statement $\backslash neg\; p$ of the logical negation of $~p$, depending on the completeness of the inference algorithm and thus also on the formal logic system. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs. ==Planner semantics== In Planner, negation as failure could be implemented as follows: :''if'' (''not'' (''goal'' p)), ''then'' (''assert'' ¬p) which says that if an exhaustive search to prove p fails, then assert ¬p. Note that the above example uses true mathematical negation, which cannot be expressed in Prolog. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Negation as failure」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.